Design Pattern Representation for Safety-Critical Embedded Systems
نویسندگان
چکیده
Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain. As non-functional requirements are an important aspect in the design of safety-critical embedded systems, this work focuses on the integration of non-functional implications in an existing design pattern concept. We propose a pattern representation for safety-critical embedded application design methods by including fields for the implications and side effects of the represented design pattern on the non-functional requirements of the overall systems. The considered requirements include safety, reliability, modifiability, cost, and execution time.
منابع مشابه
Design patterns for safety-critical embedded systems
Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملHierarchical Shape Abstraction of Dynamic Structures in Static Blocks
We propose a hierarchical shape abstract domain, so as to infer structural invariants of dynamic structures such as lists living inside static structures, such as arrays. This programming pattern is often used in safety critical embedded software as an alternative to dynamic memory allocation. Our abstract domain precisely describes such hierarchies of structures. It combines several instances ...
متن کاملEmbedded Systems Handbook Second Edition Embedded Systems Design And Verification Industrial Information Technology
embedded systems architecture programming and design 2nd edition PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF embedded systems design with platform fpgas PDF embedded systems and wireless technology theory and practical applications PDF embedded systems design with platform fpgas principles and practices 1st edition by sass ronal...
متن کاملResearch on AADL Model for Qualitative Safety Analysis of Embedded Systems
As embedded software is taking an important part in safety critical filed, how to ensure the safety of safety-critical software has recently become a research focus. Developing safety-critical and highly reliable systems almost always includes significant emphasis on safety analysis and risk assessment. There have been substantial improvements in automation and formalization of other aspects of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- JSEA
دوره 2 شماره
صفحات -
تاریخ انتشار 2009